https://filesoo.com/product/84196/reasoning-in-quantum-theory-sharp-and-unsharp-quantum-logics